#ifndef __RTC_Timer_H
#define __RTC_Timer_H

#ifdef APM32E10X_HD
	#include "apm32E10x_rcm.h"
	#include "apm32E10x_rtc.h"
	#include "apm32E10x_pmu.h"
	#include "apm32E10x_misc.h"
	
#elif defined AT32F403AVGT7
	#include "at32f403a_407_rtc.h"
	#include "at32f403a_407_crm.h"
	#include "at32f403a_407_misc.h"

#else
	#include "apm32f10x_rcm.h"
	#include "apm32f10x_rtc.h"
	#include "apm32f10x_pmu.h"
	#include "apm32f10x_misc.h"
	
#endif
#include "BoardData.h"

void RTC_init(void);
void getTimestampRTC(void);


#endif

